graph theory:incidence function